弗雷格（1848-1925），德国人，现代数理逻辑创始人。
想从逻辑推出数学。分三步：1）发表《概念文字》，基于构造的一种形式语言，建立了一阶谓词演算系统，提供了一个严格的逻辑工具；2）发表《算数基础》，探讨了什么是数，什么是0，什么是1。从逻辑角度刻化这些基本概念。3）用逻辑系统来构造算术。第三步因为罗素悖论而失败。
本书提出三条原则：区分主观和客观，区分心理学和逻辑；在句子联系中寻找语词的意谓；区别概念和对象的。
20230315整理完。